formal semantics是什么意思_formal semantics怎么读_formal semantics的音标、翻译、近义词

双语例句

1、

On Interactive Model of Web Services Base on Formal Semantics

基于形式语义的Web服务交互模型

互联网摘选

2、

The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.

程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

互联网摘选

3、

aiming at the formal semantics of slo, this paper, above all, provides various tableau rules for conversion and connectives respectively and then constructs a tableau system slo. finally it proves this system is sound and complete with respect to the semantics of slo.

针对SLO的形式语义，该文给出各个联结词的列表证明规则，构造出列表证明系统SLO，并且证明了这一系统相对SLO语义是可靠的和完全的。

互联网摘选

4、

Operational semantics and denotational semantics are two type of formal semantics.

其中操作语义学和指称语义学是形式语义学的两大类别。

互联网摘选

5、

However, its lack of rigor and formal semantics prevents it further developing.

但uml没有精确的、形式化的语义阻碍了它的进一步发展.

网络文摘精选

6、

ADLs ( Architecture Description Language) are formal semantics-based languages supporting for describing and analyzing software architecture. The research on ADLs has become a hotspot of software engineering.

软件体系结构描述语言ADL（architecture description language，ADL）具有严格的形式化语义基础，为软件体系结构的表示与分析提供支持，已成为软件工程研究领域的热点。

互联网摘选

7、

formal semantics of architecture model of collaborative systems

协同系统体系结构模型的形式化语义

互联网摘选

8、

the formal semantics of programming languages an introduction glynn

程序设计语言的形式语义

互联网摘选

9、

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统

互联网摘选

10、

the traditional formal semantics holds that all the indefinite noun phrases should be interpreted as existentially quantified phrases.

文章讨论了传统形式语义学理论和篇章表述理论对无定名词词组的语义解释问题。传统形式语义学规定所有无定名词词组都具有量化特征。

互联网摘选

11、

Dan introduces source-level formal semantics for3 different isolation levels

Dan为三种不同的隔离级别引入了源码级的形式化语义

互联网摘选

12、

This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。

互联网摘选

13、

A Formal Semantics of Agent Organization Structure Design

Agent组织结构设计的一种形式语义

互联网摘选

14、

UML contains different kinds of views, semiformal semantics of mata model and formal constraints to the elements of design.

它为设计人员提供了各种各样的视图、半形式化的元模型语义、对设计元素的形式化逻辑约束。

互联网摘选

15、

It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.

总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发；

互联网摘选

16、

The History and Framework of Formal Semantics

形式语义学的历史渊源和理论框架

互联网摘选

17、

In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。

互联网摘选

18、

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.

为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

互联网摘选

19、

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

互联网摘选

20、

The Formal Semantics of English Transitive Verbs and Its Realization Techniques

英语中及物动词的形式语义及其实现

互联网摘选

点击展开全部例句

相关词组

take off formal dress and ornaments卸妆
data flow semantics[计]数据流语义学;
polytrimethylene formal聚亚丙基缩甲醛
query language semantics[计]询问语言语义学;
transformational semantics变换语义（法）;
hexamethylene formal甲醛缩已二醇
formal power series形式幂级数
verb semantics动词语义学;
formal wear正装;
world semantics[计] 世界语义学;
dynamic semantics[计]动态语义学;
procedural semantics过程语义;
slmple formal parameter简单形式参数
formal semantic language[计] 形式语义语言;
formal attire礼服;
interpretive semantics[计] 解释语义;
semantics meta-language[计] 语义学元语言;
formal note正式照会;
standard semantics[计]标准语义学;
mathematical semantics[计] 数学语义;

今日热词
热门搜索

document[ˈdɒkjumənt , ˈdɒkjument] n.文件;（计算机）文档;v.用文件证明;记录，记载（详情）
NOI['nɔɪ] abbr.非作战情报(Non-Operational Intelligence)；未另验证(not Otherwise Identified)；调查通知(Notice of Inquiry)
万相之王[wàn xiāng zhī wáng] King of ten thousand phases
Africa['æfrɪkə] n.非洲;adj.非洲的;
OC[,o'si] abbr.有机碳;Officer Commanding 指挥官; Original Character原创角色
YouTube['ju:tju:b] n.视频网站;影片分享网站; 油管（视频网站名）
via[ˈvaɪə] prep.经由，经过;通过，凭借;
hush puppies[ˈhʌʃ pʌpiz] 暇步士
iron man[ˈaɪən mæn] n.铁汉;钢铁工人;铁人;〈美俚〉银元钢铁人;钢铁侠;铁甲奇侠
anything[ˈeniθɪŋ] pron. 任何东西;（用于否定句、疑问句中以及 if 或 whether 和 prevent、ban、avoid 等动词后，代替 something）任何东西;重要东西;重要事物;
what do you want from me 你想从我这里得到什么;你想从我这得到什么
you too[ju: tu:] 你也是;